type x = (string)
